Year 2 Pure Proof by contradiction